Synthesizing concurrent interval performances.
نویسندگان
چکیده
منابع مشابه
Synthesizing concurrent interval performances.
Concurrent schedules may be viewed as consisting of two pairs of stay and switch schedules, each pair associated with one of the alternatives. A stay schedule arranges reinforcers for staying and responding at one alternative, whereas the associated switch schedule arranges reinforcers for switching to the other alternative. In standard concurrent schedules, the stay schedule at each alternativ...
متن کاملSynthesizing Trumpet Performances
This paper presents our latest results in synthesizing high quality trumpet performances. Our approach identifies the continuous control over the sound as a fundamental element in the synthesis process. We developed our synthesis model as a cooperative system of two sub-models, continuous control parameters providing the interface between them. The two sub-parts are the instrument model, which ...
متن کاملSynthesizing Concurrent Programs using Answer Set Programming
We address the problem of the automatic synthesis of concurrent programs within a framework based on Answer Set Programming (ASP). The concurrent program to be synthesized is specified by providing both the behavioural and the structural properties it should satisfy. Behavioural properties, such as safety and liveness properties, are specified by using formulas of the Computation Tree Logic, wh...
متن کاملTwo Methods for Synthesizing VHDL Concurrent Processes
This paper presents two methods for high-level synthesis of VHDL specifications containing concurrent processes, that were implemented in the CAMAD high-level synthesis system. Our synthesis subset, called S’VHDL, accepts a large subset of standard VHDL including the concurrent features of the language. A primary concern was to preserve simulation/synthesis correspondence during synthesis and t...
متن کاملInterval Logicfor Specifying Concurrent Systems
The paper describes a graphical interval logic that is the foundation of a toolset supporting formal speciication and veriication of concurrent software systems. Experience has shown that most software engineers nd standard temporal logics diicult to understand and to use. The objective of this work is to enable software engineers to specify and reason about temporal properties of concurrent sy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Experimental Analysis of Behavior
سال: 2000
ISSN: 0022-5002
DOI: 10.1901/jeab.2000.74-189